Jaime Gaspar, "Variants into minimal logic of the Kuroda negative translation" - Internet Explorer 2.0

Jaime Gaspar, "Variants into minimal logic of the Kuroda negative translation"

https://arxiv.org/pdf/1108.0634.pdf

モチベーション

Kuroda否定変換の変種では最小論理にすら変換可能であるということがわかっている